- Relation de préordre
-
Encyclopédie Universelle. 2012.
● Relation de préordre relation binaire réflexive et transitive.
Encyclopédie Universelle. 2012.
préordre — ● préordre nom masculin Relation de préordre, relation binaire réflexive et transitive. ● préordre (expressions) nom masculin Relation de préordre, relation binaire réflexive et transitive. préordre [pʀeɔʀdʀ] n. m. ÉTYM. XXe; de pré , et ordre. ❖ … Encyclopédie Universelle
Préordre — Pré ordre Un pré ordre (ou préordre[1]) est une relation binaire réflexive et transitive. C est à dire, si E est un ensemble, alors est un pré ordre si et seulement si : (réflexivité) … Wikipédia en Français
Preordre de simulation — Préordre de simulation En informatique théorique un préordre de simulation est une relation entre systèmes de transition d états associant des systèmes qui se comportent de la même façon au sens qu un système simule l autre. Intuitivement, un… … Wikipédia en Français
Relation reflexive — Relation réflexive En théorie des ensembles, une relation binaire peut avoir, entre autres deux propriétés, la réflexivité et l irréflexivité. Une relation réflexive R de l ensemble X est une relation pour laquelle pour tout a de X, a est R relié … Wikipédia en Français
Relation d'ordre — Une relation d’ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments entre eux de manière cohérente. Un ensemble muni d’une relation d’ordre est un ensemble ordonné ou tout simplement un ordre.… … Wikipédia en Français
Préordre de simulation — En informatique théorique un préordre de simulation est une relation entre systèmes de transition d états associant des systèmes qui se comportent de la même façon au sens qu un système simule l autre. Intuitivement, un système simule l autre s… … Wikipédia en Français
Relation réflexive — Pour les articles homonymes, voir Réflexivité. En théorie des ensembles, une relation binaire peut avoir, entre autres deux propriétés, la réflexivité et l irréflexivité. Une relation réflexive R de l ensemble X est une relation pour laquelle… … Wikipédia en Français
Pre-ordre — Pré ordre Un pré ordre (ou préordre[1]) est une relation binaire réflexive et transitive. C est à dire, si E est un ensemble, alors est un pré ordre si et seulement si : (réflexivité) … Wikipédia en Français
Pré-ordre — Un pré ordre (ou préordre[1]) est une relation binaire réflexive et transitive. C est à dire, si E est un ensemble, alors est un pré ordre si et seulement si : (réflexivité) … Wikipédia en Français
Théorème de Robertson-Seymour — En mathématiques, et plus précisément en théorie des graphes, le théorème de Robertson–Seymour (parfois également appelé le théorème des mineurs, et connu, avant qu il soit démontré, sous le nom de conjecture de Wagner), est un théorème démontré… … Wikipédia en Français